1. Advances in Computational Intelligence :
پدیدآورنده : edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
2. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
3. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
4. Entity-Relationship Approach - ER '93 :
پدیدآورنده : edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
5. Inductive Logic Programming :
پدیدآورنده : edited by Paolo Frasconi, Francesca A. Lisi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
رده :
QA76
.
63
E358
2011
6. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
